Symbolic toolbox